formal denotational semantics

形式表示語義(學)